<body>
internal implementations of exceptions stuff
</body>